1

Generalising canonical extension to the categorical setting

Year:
2012
Language:
english
File:
PDF, 344 KB
english, 2012
2

Relational semantics for full linear logic

Year:
2014
Language:
english
File:
PDF, 339 KB
english, 2014